Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
801	Knowledge Representation meets Databases — a view of the symbiosis — Alex Borgida Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Knowledge representation Non-classical logic Information science Semantic Web Data modeling Knowledge representation and reasoning Description logic Semantic network Modal logic Science Information Logic
802	Paraconsistent Resolution for Four-valued Description Logics ? Yue Ma1,2 , Pascal Hitzler2 , and Zuoquan Lin1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Information science Model theory Propositional calculus Semantics Paraconsistent logic Resolution Description logic Proj construction Logic Mathematical logic Science
803	Classical Mechanics Diagram [A] Net forces diagram on a non-accelerated non-rotating reference frame relative to an inertial frame ( 9 points ) y Add to Reading List Source URL: torassa.tripod.com - Date: 2014-01-14 09:13:23
804	A New Equation of Motion for a Particle in Classical Mechanics Alejandro A. Torassa Creative Commons Attribution 3.0 License[removed]Buenos Aires, Argentina [removed] Add to Reading List Source URL: torassa.tripod.com Language: English - Date: 2014-01-14 09:14:24 Force Rotation Frames of reference Fictitious force Rotating reference frame Non-inertial reference frame Inertial frame of reference Mass Kinematics Physics Classical mechanics Introductory physics
805	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2007-05-11 02:54:57 Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic Mathematical logic Proof theory
806	Heylighen F[removed]): "Classical and Non-classical Representations in Physics I", Cybernetics and Systems 21, p[removed]. Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:18 Systems theory Quantum field theory Statistical mechanics Francis Heylighen Superorganisms Dynamical system System Interpretations of quantum mechanics Determinism Physics Science Quantum mechanics
807	Description Logics Description Logics and Logics Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Metalogic Model theory Philosophical logic Satisfiability Modal logic Temporal logic Description logic Well-formed formula Linear temporal logic Logic Mathematical logic Non-classical logic
808	Complexity of Reasoning over Entity-Relationship Models? A. Artale1 , D. Calvanese1 , R. Kontchakov2 , V. Ryzhikov1 and M. Zakharyaschev2 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Data Non-classical logic Artificial intelligence Description logic Information science Conceptual schema Entity-relationship model Database schema Symbol Data modeling Computing Information
809	DLclog : A Hybrid System Integrating Rules and Description Logics with Circumscription Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Science Artificial intelligence Modal logic Knowledge representation Stable model semantics Description logic Non-monotonic logic Circumscription Logic programming Logic Mathematical logic
810	Expressive Querying over Fuzzy DL-Lite Ontologies(∗) Jeff Z. Pan1 , Giorgos Stamou2 , Giorgos Stoilos2 , and Edward Thomas1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Semantic Web Non-classical logic Fuzzy logic Logic in computer science Conjunctive query Description logic Semantic reasoner Semantic Web Rule Language Logic Mathematical logic Artificial intelligence

UPDATE